n:|(<+>hgrp)|. nat(n)   

latex

Up	groups 1
Definitions of Statement	Mon, AbMon, Group{i}, AbGrp, OCMon, OGrp, nat(n)
Definitions	nat(n), t  T, x:A. B(x), S  T
Lemmas	int add grp wf2, hgrp of ocgrp wf, grp car wf, grp car inc